منابع مشابه
Approximate Quantifier Elimination for Propositional Boolean Formulae
This paper describes an approximate quantifier elimination procedure for propositional Boolean formulae. The method is based on computing prime implicants using SAT and successively refining overapproximations of a given formula. This construction naturally leads to an anytime algorithm, that is, it can be interrupted at anytime without compromising soundness. This contrasts with classical mono...
متن کاملApproximate Closed-form Formulae for Buckling Analysis of Rectangular Tubes under Torsion
The buckling torque may be much less than the yield torque in very thin rectangular tubes under torsion. In this paper, simple closed-form formulae are presented for buckling analysis of long hollow rectangular tubes under torsion. By the presented formulae, one can obtain the critical torque or the critical angle of twist of the tube in terms of its geometrical parameters and material constant...
متن کاملApproximate Sampling Formulae for General Finite-alleles Models of Mutation
Many applications in genetic analyses utilize sampling distributions, which describe the probability of observing a sample of DNA sequences randomly drawn from a population. In the one-locus case with special models of mutation, such as the infinite-alleles model or the finite-alleles parent-independent mutation model, closed-form sampling distributions under the coalescent have been known for ...
متن کاملApproximate Reconstruction Formulae for the Cone Beam Transform I (an Unpublished Manuscript from November 1987)
In this paper we present a method for deriving approximate inversion formulae for the divergent beam x-ray transform in three-space when the source set is a curve. When the source set is a planar convex curve, we obtain new approximate inversion formulae which are quasi-local. Finally we compare these methods with existing convolutionbackprojection algorithms for 3-D reconstruction. * Supported...
متن کاملApproximate analytical formulae for stochasticity in a birth - death process 1 Abhyudai Singh and João
Birth-death processes have been widely used for different biological applications, the most common of which is stochastic modeling of population dynamics. A review of these applications can be found in Novozhilov et al. (2006). In this letter we illustrate a method to obtain approximate formulae for the steady-state mean and variance, of a birth death process involving a single species with arb...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Arithmetica
سال: 2004
ISSN: 0065-1036,1730-6264
DOI: 10.4064/aa112-2-4